Noise equivalent circuit of a semiconductor laser diode

The noise equivalent circuit of a semiconductor laser diode is derived from the rate equations including Langevin noise sources. This equivalent circuit allows a straightforward calculation of the noise and modulation characteristics of a laser diode combined with electronic components. The intrinsic junction voltage noise spectrum and the light intensity fluctuation of a current driven laser diode are calculated as a function of bias current and frequency

Projection of two biphoton qutrits onto a maximally entangled state

Bell state measurements, in which two quantum bits are projected onto a maximally entangled state, are an essential component of quantum information science. We propose and experimentally demonstrate the projection of two quantum systems with three states (qutrits) onto a generalized maximally entangled state. Each qutrit is represented by the polarization of a pair of indistinguishable photons - a biphoton. The projection is a joint measurement on both biphotons using standard linear optics elements. This demonstration enables the realization of quantum information protocols with qutrits, such as teleportation and entanglement swapping.Comment: 4 pages, 3 figures, published versio

Mathematical Modeling of a Bioluminescent E. Coli Based Biosensor

In this work we present a mathematical model for the bioreporter activity of an E. coli based bioluminescent bioreporter. This bioreporter is based on a genetically modified E. coli which harbors the recA promoter, a member of the bacterial SOS response, fused to the bacterial luminescence (lux) genes. This bioreporter responds to the presence of DNA damaging agents such as heavy metals, H2O2 and Nalidixic Acid (NA) that activate the SOS response. In our mathematical model we implemented basic physiological mechanisms such as: the penetration of the NA into the biosensor; gyrase enzyme inhibition by the NA; gyrase level regulation; creation of chromosomal DNA damage; DNA repair and release of ssDNA into the cytoplasm; SOS induction and chromosomal DNA repair; activation of lux genes by the fused recA promoter carried on a plasmidal DNA; transcription and translation of the luminescence responsible enzymes; luminescence cycle; energy molecules level regulation and the regulation of the O2 consumption. The mathematical model was defined using a set of ordinary differential equations (ODE) and solved numerically. We simulated the system for different concentrations of NA in water for specific biosensors concentration, and under limited O2 conditions. The simulated results were compared to experimental data and satisfactory matching was obtained. This manuscript presents a proof of concept showing that real biosensors can be modeled and simulated. This sets the ground to the next stage of implementing a comprehensive physiological model using experimentally extracted parameters. Following the completion of the next stage, it will be possible to construct a “Computer Aided Design” tool for the simulation of the genetically engineered biosensors. We define a term “bioCAD” for a Biological System Computer Aided Design. The specific bioCAD that is described here is aimed towards whole cell biosensors which are under investigation today for functional sensing. Usage of the bioCAD will improve the biosensors design process and boost their performance. It will also reduce Non Recurring Engineering (NRE) cost and time. Finally, using a parameterized solution will allow fair and quick evaluation of whole cell biosensors for various applications

Local crystallographic texture and voiding in passivated copper interconnects

A correlation between local crystallographic texture and stress‐induced void formation in tantalum‐encapsulated, copper interconnects was revealed by electron backscattering diffraction studies in a scanning electron microscope. Lines exhibiting an overall stronger 〈111〉 texture showed better resistance to void formation. Furthermore, grains adjacent to voids exhibited weaker 〈111〉 texture than grains in unvoided regions of the same line. The locally weaker 〈111〉 texture at voided locations suggests the presence of higher diffusivity, twist boundaries. This work, which represents the first characterization of local texture in stress voided, copper lines, helps to elucidate the relative importance of the thermodynamic and kinetic factors which govern void formation and growth. © 1996 American Institute of Physics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/70319/2/APPLAB-69-26-4017-1.pd

In-vivo monitoring for electrical expression of plant living parameters by an impedance lab system

We present a complete in-lab system to monitor the plant and its surrounding environment. The plant impedance is directly measured in a continuous manner, while, simultaneously surrounding environment parameters known to affect plant status, are monitored. This is done combining a new in-vivo direct measurement of the plant together with an embedded system using available sensor technology and a designated interface for continuous data acquisition. Furthermore, the next versions this system can be deployed as a field monitoring device, with simple adaptations

Show Me My Health Plans: a study protocol of a randomized trial testing a decision support tool for the federal health insurance marketplace in Missouri

BACKGROUND: The implementation of the ACA has improved access to quality health insurance, a necessary first step to improving health outcomes. However, access must be supplemented by education to help individuals make informed choices for plans that meet their individual financial and health needs. METHODS/DESIGN: Drawing on a model of information processing and on prior research, we developed a health insurance decision support tool called Show Me My Health Plans. Developed with extensive stakeholder input, the current tool (1) simplifies information through plain language and graphics in an educational component; (2) assesses and reviews knowledge interactively to ensure comprehension of key material; (3) incorporates individual and/or family health status to personalize out-of-pocket cost estimates; (4) assesses preferences for plan features; and (5) helps individuals weigh information appropriate to their interests and needs through a summary page with “good fit” plans generated from a tailored algorithm. The current study will evaluate whether the online decision support tool improves health insurance decisions compared to a usual care condition (the healthcare.gov marketplace website). The trial will include 362 individuals (181 in each group) from rural, suburban, and urban settings within a 90 mile radius around St. Louis. Eligibility criteria includes English-speaking individuals 18–64 years old who are eligible for the ACA marketplace plans. They will be computer randomized to view the intervention or usual care condition. DISCUSSION: Presenting individuals with options that they can understand tailored to their needs and preferences could help improve decision quality. By helping individuals narrow down the complexity of health insurance plan options, decision support tools such as this one could prepare individuals to better navigate enrollment in a plan that meets their individual needs. The randomized trial was registered in clinicaltrials.gov (NCT02522624) on August 6, 2015

Emerging technologies to measure neighborhood conditions in public health: Implications for interventions and next steps

Adverse neighborhood conditions play an important role beyond individual characteristics. There is increasing interest in identifying specific characteristics of the social and built environments adversely affecting health outcomes. Most research has assessed aspects of such exposures via self-reported instruments or census data. Potential threats in the local environment may be subject to short-term changes that can only be measured with more nimble technology. The advent of new technologies may offer new opportunities to obtain geospatial data about neighborhoods that may circumvent the limitations of traditional data sources. This overview describes the utility, validity and reliability of selected emerging technologies to measure neighborhood conditions for public health applications. It also describes next steps for future research and opportunities for interventions. The paper presents an overview of the literature on measurement of the built and social environment in public health (Google Street View, webcams, crowdsourcing, remote sensing, social media, unmanned aerial vehicles, and lifespace) and location-based interventions. Emerging technologies such as Google Street View, social media, drones, webcams, and crowdsourcing may serve as effective and inexpensive tools to measure the ever-changing environment. Georeferenced social media responses may help identify where to target intervention activities, but also to passively evaluate their effectiveness. Future studies should measure exposure across key time points during the life-course as part of the exposome paradigm and integrate various types of data sources to measure environmental contexts. By harnessing these technologies, public health research can not only monitor populations and the environment, but intervene using novel strategies to improve the public health

Faster linearizability checking via PP-compositionality

Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents $P$-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement $P$-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

Cooperating Attackers in Neural Cryptography

A new and successful attack strategy in neural cryptography is presented. The neural cryptosystem, based on synchronization of neural networks by mutual learning, has been recently shown to be secure under different attack strategies. The advanced attacker presented here, named the ``Majority-Flipping Attacker'', is the first whose success does not decay with the parameters of the model. This new attacker's outstanding success is due to its using a group of attackers which cooperate throughout the synchronization process, unlike any other attack strategy known. An analytical description of this attack is also presented, and fits the results of simulations